perm filename TAKASU.LE5[LET,JMC] blob
sn#361140 filedate 1978-06-11 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .require "let.pub[let,jmc]" source
C00004 ENDMK
C⊗;
.require "let.pub[let,jmc]" source;
∂AIL Professor S. Takasu↓Research Institute for Mathematical Sciences
↓Kyoto University↓Kyoto, Japan∞
Dear Professor Takasu:
Many thanks for the invitation to the August conference.
I expect to arrive on August 22nd and would prefer to try the
Rakuyu-Kaikan if available. The Italian House would also be fine,
and I am sorry to hear that their restaurant is closed.
I am submitting a paper on first order representation of
recursive programs to Professor Blum, and I have also begun to
to be interested in your approach to program synthesis. Perhaps
I will have understood your old paper by the time I come to Kyoto.
I will write about my travel plans when they are firm.
Most likely I will be coming from Korea.
.sgn